A. N. PRIOR’S SYSTEM Q: A REVIEW

In his “Time and Modality”, based on own philosophical motivations, Arthur Norman Prior proposed the modal logic Q as a correct in 1957. developed order to offer for contingent beings, which one could rationally state that some beings are necessary. One may say is an actualist with natural semantics. This review article description/discussion of/on “The System Q” fifth chapter of Modality”. I have attempted analyse logical structure system provide more understandable description well analysis today’s logicians, philosophers, information-computer scientists. paper, Polish notations translated into modern be comprehensible support formal descriptions semantic analysis.